Normalizing the associative law - an experiment with Martin Löf's type theory
- Författare
- Institutionen för informationsbehandling (Göteborg) Michael Hedberg
- (Michael Hedberg., Licentiatavhandling, Göteborg: Chalmers tekn. högsk.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| CTH, Dept of computer sciences | 1990 | Sverige, Göteborg | 70 sidor. |